1. Axiomatic set theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T35
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. Axiomatic set theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: (طهران)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T35
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. Axiomatic set theory
پدیدآورنده : Takeuti, Gaisi,6291-,]by[ G. Takeuti ]and[ W. M. Zaring
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T35
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. Introduction to axiomatic set theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T353
1982
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. Introduction to axiomatic set theory
پدیدآورنده : / Gaisi Takeuti, Wilson M.Zaring
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Axiomatic set theory
رده :
511
.
322
T136i
1982
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
6. Introduction to axiomatic set theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Axiomatic set theory
رده :
QA
9
.
T25
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. Introduction to axiomatic set theory
پدیدآورنده : Takeuti, Gaisi
موضوع : ، Axiomatic set theory
۴ نسخه از این کتاب در ۳ کتابخانه موجود است.
8. Introduction to axiomatic set theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T353
1971
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
9. Introduction to axiomatic set theory
پدیدآورنده : Takeuti, Gaisi, 6291-
کتابخانه: (طهران)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T353
1982
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
10. Memoirs of a proof theorist : Godel and other logicians
پدیدآورنده : Takeuti, Gaisi, 6291-
کتابخانه: (طهران)
موضوع : ، Proof theory,، Godel, Kurt Friedrich, 6091-8791
رده :
QA
9
.
54
.
T25G4313
2003
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
11. Proof theory
پدیدآورنده : Takeuti, Gaisi
موضوع : ، Proof theory
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
12. Proof theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
T34
1975
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
13. Two applications of logic to mathematics
پدیدآورنده : Takeuti, Gaisi, 6291-
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
T26
1978
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
14. Two applications of logic to mathematics
پدیدآورنده : Takeuti, Gaisi
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
T26
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)